Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
331	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
332	THE COST OF REPAIRS Gabriele Puppis LaBRI / CNRS based on joint works with Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2015-02-23 23:15:04 Formal languages Applied mathematics Computer science Finite-state machine Finite state transducer Automata theory Models of computation Theoretical computer science
333	Language-Independent Discriminative Parsing of Temporal Expressions Gabor Angeli Stanford University Stanford, CA 94305 Add to Reading List Source URL: stanford.edu Language: English - Date: 2013-05-16 02:40:44 Software Compiler construction Parsing Computational linguistics Statistical natural language processing Attribute grammar Formal grammar Parse tree Stochastic context-free grammar Formal languages Software engineering Computing
334	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
335	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
336	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
337	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
338	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
339	Writing commercial grade multiplatform end-user applications with Tcl/Tk and PowerTcl Bastien Chevreux, Christoph G¨othe, Sebastian Liepe MWG Biotech AG Anzinger Str. 7, 85560 Ebersberg, Germany Add to Reading List Source URL: www.chevreux.org Language: English - Date: 2008-04-13 17:46:30 Scripting languages Formal languages Tcl Expect Tk Shell String GC-content Regular expression Computing Software engineering Computer programming
340	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming

UPDATE